semirecursive set

半递归集